-
1 формальный язык
формальный язык м. выч. formale Sprache f; formalisierte Sprache fБольшой русско-немецкий полетехнический словарь > формальный язык
-
2 формальный язык
формальный язык
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > формальный язык
-
3 формальный язык
1) Business: formal language2) Automation: formalized language -
4 формальный язык
adjeng. formale Sprache, formalisierte Sprache -
5 формальный язык
Русско-французский политехнический словарь > формальный язык
-
6 формальный язык
adjIT. langage formel -
7 формальный язык
-
8 формальный язык
formale [formalisierte] Sprache -
9 формальный язык
Русско-английский словарь по радиоэлектронике > формальный язык
-
10 формальный язык
-
11 формальный язык
• formalizovaný jazyk -
12 формальный язык
-
13 формальный язык
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > формальный язык
-
14 формальный язык
formal language мат.Русско-английский научно-технический словарь Масловского > формальный язык
-
15 формальный язык
формалды тілРусско-казахский терминологический словарь "Философия и политология" > формальный язык
-
16 семантически формальный язык
Mathematics: semantic-formal languageУниверсальный русско-английский словарь > семантически формальный язык
-
17 Весьма формальный язык
Russisch-Nederlands Universal Dictionary > Весьма формальный язык
-
18 семантически формальный язык
Русско-английский научно-технический словарь Масловского > семантически формальный язык
-
19 язык концептуальной схемы
язык концептуальной схемы
Формальный язык для описания концептуальной схемы, ее составных частей и действий над ними.
[ ГОСТ 34.320-96]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > язык концептуальной схемы
-
20 формальный метод: метод проектирования программ, в котором используется язык формальных спе
Универсальный русско-английский словарь > формальный метод: метод проектирования программ, в котором используется язык формальных спе
- 1
- 2
См. также в других словарях:
формальный язык — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal language … Справочник технического переводчика
Формальный язык — Не следует путать с формальным стилем речи. В математической логике и информатике формальный язык это множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и … Википедия
ФОРМАЛЬНЫЙ ЯЗЫК, ПРЕДСТАВИМЫЙ МАШИНОЙ — формальный язык, распознаваемый машиной, множество всех тех слов, при работе над к рыми машина попадает в одно из выделенных состояний. Всякое рекурсивно перечислимое множество слов есть формальный язык (ф. я.), представимый нек рой Тьюринга… … Математическая энциклопедия
Формальный язык — то же, что Формализованный язык. Иногда под термином «Ф. я.» понимают также формальную систему (См. Формальная система) … Большая советская энциклопедия
ФОРМАЛЬНЫЙ ЯЗЫК — в математической лингвистике произвольное множество цепочек (т. е. слов )в нек ром (конечном или бесконечном) алфавите V (иногда называемом также словарем), т. е. выражений вида где число k, обычно обозначаемое есть длина цепочки Рассматривается… … Математическая энциклопедия
Язык программирования — искусственный (формальный) язык, предназначенный для записи алгоритмов. Язык программирования задается своим описанием и реализуется в виде специальной программы: компилятора или интерпретатора. По английски: Programming language Синонимы:… … Финансовый словарь
ЯЗЫК ПРОГРАММИРОВАНИЯ — это совокупность набора символов (алфавита) системы, правил образования (синтаксис) и истолкования конструкции из символов (семантика) для задания алгоритмов с использованием символов естественного языка. В самом общем виде формальный язык… … Большая политехническая энциклопедия
язык концептуальной схемы — Формальный язык для описания концептуальной схемы, ее составных частей и действий над ними. [ГОСТ 34.320 96] Тематики базы данных EN conceptual schema language … Справочник технического переводчика
ЯЗЫК ПРОГРАММИРОВАНИЯ — формальный язык для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу Я. п. составляют алгоритмические языки. Первыми Я. п. были внутренние машинные языки, представляющие собой системы команд конкретной ЭВМ,… … Большой энциклопедический политехнический словарь
формальный синтаксис — 3.4.1 формальный синтаксис: Спецификация точно сформулированных предложений формального языка с применением формальной грамматики. Примечание 1 Формальный язык это машинно ориентированный язык с интерпретированием. Примечание 2 Формальная… … Словарь-справочник терминов нормативно-технической документации
Язык (значения) — Язык: В Викисловаре есть статья «язык» Язык знаковая система для обмена информацией. Естественный язык сформи … Википедия